" Aarti Gupta" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

SAT-Based Scalable Formal Verification Solutions (Series on Integrated Circuits and Systems)

Malay Ganai, Aarti Gupta

Категория: Техника, Электроника, Радио

2.95 Mb

#2

SAT-based scalable formal verification solutions

Malay Ganai, Aarti Gupta

Категория: 'Integrated circuits -- Verification.'

6.25 Mb

#3

Computer Aided Verification, 20 conf., CAV 2008

Aarti Gupta, Sharad Malik

Категория: CsLn_

6.28 Mb

#4

Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings

Aarti Gupta, Sharad Malik

5.97 Mb